MANDRIOLI, DINO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Modeling time in computing

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Journal:

ACM Computing Surveys

Year:

2010

Language:

english

File:

PDF, 817 KB

english, 2010

2

TRIO: A logic language for executable specifications of real-time systems

Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti

Journal:

Journal of Systems and Software

Year:

1990

Language:

english

File:

PDF, 2.08 MB

english, 1990

3

The industrialization of formal methods

John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 98 KB

english, 2006

4

Executable specifications with data-flow diagrams

Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti

Journal:

Software: Practice and Experience

Year:

1993

Language:

english

File:

PDF, 1.65 MB

english, 1993

5

Symbolic execution of concurrent systems using Petri nets

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè

Journal:

Computer Languages

Year:

1989

Language:

english

File:

PDF, 1.29 MB

english, 1989

6

Parallel parsing of operator precedence grammars

Barenghi, Alessandro, Crespi Reghizzi, Stefano, Mandrioli, Dino, Pradella, Matteo

Journal:

Information Processing Letters

Year:

2013

Language:

english

File:

PDF, 163 KB

english, 2013

7

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 ||

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 8.40 MB

english, 2003

8

Using TRIO for designing a CORBA-based application

Alberto Coen-Porisini, Dino Mandrioli

Journal:

Concurrency and Computation: Practice and Experience

Year:

2000

Language:

english

File:

PDF, 443 KB

english, 2000

9

An integrated model of problem solver

Giovanni Guida, Dino Mandrioli, Marco Somalvico

Journal:

Information Sciences

Year:

1977

Language:

english

File:

PDF, 1.28 MB

english, 1977

10

Software engineering concepts: R. Fairley McGraw-Hill, 1985, 364pp., £30.50 hardback, ISBN 07 019902 7

Journal:

Advances in Engineering Software (Barking)(1978)

Year:

1978

Language:

english

File:

PDF, 288 KB

english, 1978

11

QRT FIFO automata, breadth-first grammars and their relations

Alessandra Cherubini, Claudio Citrini, Stefano Crespi Reghizzi, Dino Mandrioli

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.98 MB

english, 1991

12

Invito alla teoria dei linguaggi formali

Journal:

Milan Journal of Mathematics

Year:

1981

Language:

italian

File:

PDF, 1.26 MB

italian, 1981

13

Automated compositional proofs for real-time systems

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 842 KB

english, 2007

14

Dealing with Zero-Time Transitions in Axiom Systems

Angelo Gargantini, Dino Mandrioli, Angelo Morzenti

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 223 KB

english, 1999

15

A class of grammar generating non-counting languages

Stefano Crespi-Reghizzi, Dino Mandrioli

Journal:

Information Processing Letters

Year:

1978

Language:

english

File:

PDF, 349 KB

english, 1978

16

SIMPLE: A program development system

Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi, Dino Mandrioli

Journal:

Computer Languages

Year:

1980

Language:

english

File:

PDF, 757 KB

english, 1980

17

Algebraic properties of operator precedence languages

Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin

Journal:

Information and Control

Year:

1978

Language:

english

File:

PDF, 842 KB

english, 1978

18

Operator Precedence Grammars and the Noncounting Property

Crespi-Reghizzi, Stefano, Guida, Giovanni, Mandrioli, Dino

Journal:

SIAM Journal on Computing

Year:

1981

Language:

english

File:

PDF, 1.71 MB

english, 1981

19

On Deterministic Multi-Pass Analysis

Citrini, Claudio, Crespi-Reghizzi, Stefano, Mandrioli, Dino

Journal:

SIAM Journal on Computing

Year:

1986

Language:

english

File:

PDF, 2.61 MB

english, 1986

20

Operator precedence and the visibly pushdown property

Stefano Crespi Reghizzi, Dino Mandrioli

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 827 KB

english, 2012

21

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing || Dynamical Systems

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 467 KB

english, 2012

22

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing || Asynchronous Abstract Machines: Petri Nets

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 1.33 MB

english, 2012

23

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing || It’s About Time

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 105 KB

english, 2012

24

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing || Languages and Interpretations

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 459 KB

english, 2012

25

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing || Dimensions of the Time Modeling Problem

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 443 KB

english, 2012

26

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing ||

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 9.26 MB

english, 2012

27

Syntactic-semantic incrementality for agile verification

Bianculli, Domenico, Filieri, Antonio, Ghezzi, Carlo, Mandrioli, Dino

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 493 KB

english, 2015

28

A model parametric real-time logic

Morzenti, Angelo, Mandrioli, Dino, Ghezzi, Carlo

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1992

Language:

english

File:

PDF, 3.38 MB

english, 1992

29

[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - The challenges of software engineering education

Ghezzi, Carlo, Mandrioli, Dino

Year:

2005

Language:

english

File:

PDF, 142 KB

english, 2005

30

[IEEE International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007) - Minneapolis, MN, USA (2007.05.20-2007.05.26)] International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007) - Modeling the Environment in Software-Intensive Systems

Furia, Carlo A., Rossi, Matteo, Mandrioli, Dino

Year:

2007

Language:

english

File:

PDF, 135 KB

english, 2007

31

[IEEE 2012 19th International Symposium on Temporal Representation and Reasoning (TIME) - Leicester, United Kingdom (2012.09.12-2012.09.14)] 2012 19th International Symposium on Temporal Representation and Reasoning - A Metric Temporal Logic for Dealing with Zero-Time Transitions

Ferrucci, Luca, Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 238 KB

english, 2012

32

Incremental Parsing

Ghezzi, Carlo, Mandrioli, Dino

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1979

Language:

english

File:

PDF, 663 KB

english, 1979

33

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 210 KB

english, 2003

34

BREADTH AND DEPTH GRAMMARS AND DEQUE AUTOMATA

CHERUBINI, ALESSANDRA, CITRINI, CLAUDIO, REGHIZZI, STEFANO CRESPI, MANDRIOLI, DINO

Journal:

International Journal of Foundations of Computer Science

Year:

1990

Language:

english

File:

PDF, 605 KB

english, 1990

35

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || ProB: A Model Checker for B

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 267 KB

english, 2003

36

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Proving the Shalls

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 160 KB

english, 2003

37

[ACM Press the 2006 international workshop - Shanghai, China (2006.05.20-2006.05.21)] Proceedings of the 2006 international workshop on Software engineering for secure systems - SESS '06 - A formal approach to sensor placement and configuration in a network intrusion detection system

Rolando, Marco, Rossi, Matteo, Sanarico, Niccolò, Mandrioli, Dino

Year:

2006

Language:

english

File:

PDF, 223 KB

english, 2006

38

Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization

Lonati, Violetta, Mandrioli, Dino, Panella, Federica, Pradella, Matteo

Journal:

SIAM Journal on Computing

Year:

2015

Language:

english

File:

PDF, 681 KB

english, 2015

39

[ACM Press the 2004 ACM SIGSOFT international symposium - Boston, Massachusetts, USA (2004.07.11-2004.07.14)] Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 - A formal approach for modeling and verification of RTCORBA-based applications

Rossi, Matteo, Mandrioli, Dino

Year:

2004

Language:

english

File:

PDF, 228 KB

english, 2004

40

Generating test cases for real-time systems from logic specifications

Mandrioli, Dino, Morasca, Sandro, Morzenti, Angelo

Journal:

ACM Transactions on Computer Systems

Year:

1995

Language:

english

File:

PDF, 2.20 MB

english, 1995

41

From formal models to formally based methods: an industrial experience

Ciapessoni, Emanuele, Mirandola, Piergiorgio, Coen-Porisini, Alberto, Mandrioli, Dino, Morzenti, Angelo

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1999

Language:

english

File:

PDF, 234 KB

english, 1999

42

Augmenting Parsers to Support Incrementality

Ghezzi, Carlo, Mandrioli, Dino

Journal:

Journal of the ACM

Year:

1980

Language:

english

File:

PDF, 781 KB

english, 1980

43

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - A formal approach for designing CORBA based applications

Pradella, Matteo, Rossi, Matteo, Mandrioli, Dino, Coen-Porisini, Alberto

Year:

2000

Language:

english

File:

PDF, 231 KB

english, 2000

44

A formal approach for designing CORBA-based applications

Coen-Porisini, Alberto, Pradella, Matteo, Rossi, Matteo, Mandrioli, Dino

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2003

Language:

english

File:

PDF, 467 KB

english, 2003

45

[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - On the Heroism of Really Pursuing Formal Methods

Mandrioli, Dino

Year:

2015

Language:

english

File:

PDF, 132 KB

english, 2015

46

A framework architecture for supervision and control systems

Capobianchi, Riccardo, Coen-Porisini, Alberto, Mandrioli, Dino, Morzenti, Angelo

Journal:

ACM Computing Surveys

Year:

2000

Language:

english

File:

PDF, 47 KB

english, 2000

47

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Model Checking FTA

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 389 KB

english, 2003

48

Parallel parsing made practical

Barenghi, Alessandro, Crespi Reghizzi, Stefano, Mandrioli, Dino, Panella, Federica, Pradella, Matteo

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.28 MB

english, 2015

49

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Combining Real-Time Model-Checking and Fault Tree Analysis

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 278 KB

english, 2003

50

SCORE

Mandrioli, Dino, Fickas, Stephen, Furia, Carlo A., Jazayeri, Mehdi, Rossi, Matteo, Young, Michal

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2010

Language:

english

File:

PDF, 273 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски